logical proposition

逻辑命题